#include "syscall.h"

int
main()
{
	int i=1;

	i = ReadInput("Test Input:",11);
	WriteFormat("Value you typed in is %d\n",26,&i,1);
	Exit(0);
}
